Type extensions to web services description language

ABSTRACT

A web service description language with object extensions provides type-centric extensions to web service description languages. The extensions illustrated herein provide the constructs to describe and implement a type-centric, object-model agnostic, web service description. By implementing the constructs described herein, a heterogeneous distributed computing environment can implement rich type-centric services.  
     The type extensions allow many added features. For example, in a graph description, a type description indicates whether a type is encoded as a reference or embedded within another type. In another respect, in a service reference description, a type description indicates whether a type is remoted by value or by reference. In several other respects, a type description indicates that, a service extends another service, a service implements an interface (potentially multiple interfaces), a field of a type (including interfaces) is a reference type, a constant value field, or a bit field type that defines enumerations with associated values.

TECHNICAL FIELD

[0001] This invention relates to web services description languages, and more particularly, type extensions thereto.

BACKGROUND AND SUMMARY

[0002] The Web Services Description Language (WSDL) is an XML format for describing network services offered by a server. See http://www.w3.org /TR/2001/NOTE-wsdl-20010315. This specification assumes the reader is familiar with XML, XSD, SOAP, and WSDL. This technology space is well known and written about in the computer arts. Generally, WSDL is used to create an XML textual description of services provided by a network server and a set of operations within each service. WSDL describes the format that a client uses to request services. WSDL service description is used by the client and server to communicate in an agreed XML format. The server agrees to provide certain services only if the client sends a properly formatted XML request.

[0003] Programmers use WSDL to form proper messages and service requests, and proper message responses and service request responses. A client obtains a copy of the WSDL description, and uses the information in this file to format a conforming request. Upon receiving a compliant request, the server can complete an operation and return the results to the client in a WSDL compliant format.

[0004] In a general sense, FIG. 1 depicts how WSDL, SOAP, XSD, and XML support message passing and web services over a network 106 between computer systems 102, 104. WSDL is computing environment agnostic, meaning, so long as a client communicates in XML according to the WSDL definition, it makes little difference whether the client and server exist in compatible computing environments (e.g., COM, JAVA, CORBA, etc). Since WSDL describes a textual representation for message passing and invoking web services in XML, a WSDL compliant communication can be recognized and translated by any computer environment following the WSDL standard.

[0005] As shown in FIG. 1, XML and SOAP are specified on both computers 102, 104. However, in some cases WSDL and XSD are not specified on both computers. In one case, a client 104, may not have WSDL and XSD specified locally, as indicated by the dotted lines 108. In this case, the client 104 parses the server's 102 WSDL and XSD, and sends the server a SOAP message which corresponds with the server WSDL. In some cases, many computers access a server to parse a WSDL and/or XSD.

[0006] A WSDL document contains the following elements in the definition of network services as shown in Table 1. TABLE 1 Types - A container for data type definitions using some type system (such as XSD). Message - An abstract, typed definition of the data being communicated. PortType - An abstract set of operations supported by one or more endpoints. Binding - A concrete protocol and data format specification for a particular port type. Port - A single endpoint defined as a combination of a binding and a network address. Service - A collection of related endpoints.

[0007] As shown in FIGS. 2 and 3, the WSDL document structure is a set of definitions. There is a definitions element at the root 302, and definitions inside the document. The grammar of the WSDL document format is followed by the server that is providing services to its clients so as to allow any client to understand the syntax of the messages accepted by the server. As discussed in Table 1, the WSDL document may contain types 304, messages 306, port types 308, bindings 402, and services 404.

[0008] The namespace prefixes described in Table 2, along with the syntax and rules described in Table 3, are used in this specification. Namespaces are a way to uniquely identify elements and attributes within a document. TABLE 2 prefix namespace URI definition wsdl http://schemas.xmlsoap.org/ WSDL namespace for WSDL framework. wsdl/ soap http://schemas.xmlsoap.org/ WSDL namespace for WSDL SOAP binding. wsdl/soap/ http http://schemas.xmlsoap.org/ WSDL namespace for WSDL HTTP GET & wsdl/http/ POST binding. mime http://schemas.xmlsoap.org/ WSDL namespace for WSDL MIME binding. wsdl/mime/ soapenc http://schemas.xmlsoap.org/ Encoding namespace as defined by SOAP 1.1 soap/encoding/ soapenv http://schemas.xmlsoap.org/ Envelope namespace as defined by SOAP 1.1 soap/envelope/ xsi http://www.w3.org/2001/X Instance namespace as defined by XSD MLSchema-instance xsd http://www.w3.org/2001/X Schema namespace as defined by XSD MLSchema tns (various) The “target namespace” (tns) prefix is used as a convention to refer to the current document. (other) (various) All other namespace prefixes are samples only. In particular, URIs starting with “http://example.com” represent some application-dependent or context-dependent URI

[0009] TABLE 3 The syntax appears as an XML instance, but the values indicate the data types instead of values. Characters are appended to elements and attributes as follows: “?” (0 or 1), “*” (0 or more), “+” (1 or more). Elements names ending in “...” (such as <element...> or </element...>) indicate that elements/attributes irrelevant to the context are being omitted. <-- extensibility element --> is a placeholder for elements from some “other” namespace (like ##other in XSD). The XML namespace prefixes (defined below) are used to indicate the namespace of the element being defined. Examples starting with <?xml contain enough information to conform to this specification; others examples are fragments and require additional information to be specified in order to conform.

[0010] Using the WSDL document structure shown in FIGS. 2 and 3, and an example program (“CEchoString”) shown in FIG. 4, a WSDL description of CEchoString is shown in FIG. 5.

[0011] For example, a server can publish, deliver, or otherwise make available, a copy of the WSDL description of CEchoString to a client. The client can use the description to send web service requests and responses. The client computer system includes software that sends and receives XML messages that comply with the description. The server computer system includes software that receives and sends messages according to the description. Both client and server may include software that translates the XML messages into their respective implementation environment.

[0012] Thus, a network server provides a WSDL description of the services it provides. Some of the messages sent to the server will have parameters, and some of these parameters may contain trees of objects. For example, given the XML message contained in FIG. 6, the trees of objects shown in FIG. 7 can be constructed.

[0013] The described extensions are directed towards providing type-centric descriptions to web service description languages. The extensions illustrated herein provide the constructs to describe and implement a type-centric, object-model agnostic, web service description. By implementing the constructs described herein, a heterogeneous distributed computing environment can implement rich type-centric services.

[0014] A few of the web services describable by this extended type-centric web service description language include support for representing graph data structures through its definition of the syntax for multi-reference pointers, for representing remote objects passed by-reference through its definition of service reference wire datatype, for discovering the type of a remote object at runtime through the definition of a service interface, and other type-centric constructs such as classes, interfaces, properties, events, and delegates. With this extended web service description language, a server can provide a type-centric, object-model agnostic description of a web service.

[0015] The type extensions described herein allow many added features. A few of these features are included for example purposes. In one respect, in a graph description, a type description indicates whether a type is encoded as a reference or embedded within another type. In another respect, in a service reference description, a type description indicates whether a type is remoted by-value or by-reference. In several other respects, a type description indicates that, a service extends another service, a service implements an interface (potentially multiple interfaces), or a field of a type (including interfaces) is a reference type, a constant value field, or a bit field type that defines enumerations with associated values.

[0016] In another respect, the type extensions provided the ability to define properties on types, to set enumeration values and types, to compose services including with other services, and to specify an array syntax.

[0017] Additional features and advantages will be made apparent from the following detailed description which proceeds with reference to the accompanying drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

[0018]FIG. 1 is a block diagram of software layers in a prior art system.

[0019] FIGS. 2-3 define the prior art web service definition language.

[0020]FIG. 4 is a program listing later described in FIG. 5 using WSDL.

[0021]FIG. 5 is a prior art web service definition of the program in FIG. 4, according to the prior art web service definition language defined in FIGS. 2 and 3.

[0022]FIG. 6 is a prior art XML expression of a tree.

[0023]FIG. 7 is a prior art diagram showing the tree defined in FIG. 6.

[0024]FIG. 8 is a block diagram of a system utilizing the type-centric extensions.

[0025]FIG. 9 is an XML expression of a graph of objects and references thereto.

[0026]FIG. 10, is a graph of FIG. 9.

[0027]FIG. 11 is a program listing used in FIG. 12 to demonstrate added features of the type-centric extensions.

[0028]FIG. 12 is a description of the program in FIG. 11 using type-centric type extensions.

[0029]FIG. 13 is a schema for service reference.

[0030] FIGS. 14-15 is a web service description language including type extensions.

[0031] FIGS. 16-18 is the schema for the illustrated extensions.

[0032]FIG. 19 is an example program used in FIGS. 20-21.

[0033] FIGS. 20-21 is the web service description with object extensions for the program in FIG. 19.

[0034]FIG. 22 is a block diagram of a computer system that may be used to implement a method, apparatus, and system embodying the web service description language with type extensions.

DETAILED DESCRIPTION

[0035] As shown in FIG. 8, type-centric extensions 802, 804 are added to a web services description language. In the existing WSDL model, (FIG. 1), descriptions are limited to the description capabilities of the existing definitions 102, 104. These extensions 802, 804, expand the description capabilities thereby allowing services 806, 808, to communicate in a type-centric, yet object model agnostic way.

[0036] For example, the extensions described in this document support communications between the different type-centric runtime environments such as (e.g., CLR, JAVA, COM, CORBA, etc.), so long as a mapping exists between any type system 806, and any other type system 808 through the common subset captured by the extensions described in this document. The described extensions provide a mapping between heterogeneous type systems, and between homogeneous type systems, with an agnostic description language mapping, associated schemas, and type mappings.

[0037] As shown in FIG. 8, XML and SOAP are specified on both computers 802, 804. However, in some cases EXTENSIONS, WSDL and XSD are not specified on both computers. In one case, a client 804, may not have EXTENSIONS, WSDL and XSD specified locally, as indicated by the dotted lines 810. In such a case, the client 804 parses the server's 802 EXTENSIONS, WSDL and XSD, and sends the server a SOAP message or service request which corresponds with the server's EXTENSIONS, WSDL, and XSD. In some cases, many computers access a server to parse EXTENSIONS, WSDL and/or XSD.

[0038] The constructs provide the capacity for a literal translation across type systems, and for introducing type system description completeness. For example, FIG. 9 includes typed objects with unique object references. Using the unique identifier, an object graph 900, can be represented indicating that two objects hold references 904, 906, to the same typed object 902. The graph is represented in FIG. 10. Thus a reference to typed object (e.g., bar) from either object holding the unique reference (e.g., foo and foo2), will access the same data 908.

[0039] In order to provide a description environment capable of describing a type-centric network services, extensions are added as described herein. These extensions will be described in the “ts” namespace using the “xmlns:ts” prefix and the http://schemas.xmlsoap.org/wsdl/typesystem/namespace identifier. The resulting language and schema is general enough to create an object model agnostic description of multiple object systems.

[0040] SOAP Literal Encoding

[0041] The original WSDL binding section specifies two types of WSDL encodings, literal and encoded. This specification introduces a third type of encoding called SoapLiteral. SoapLiteral is similar to literal in that WSDL specifies the exact XML produced. It is similar to encoded in that it produces SOAP that conforms to Section 5 of the SOAP Specification. See http://schemas.xmlsoap.org/soap/encoding/.

[0042] SoapLiteral encoding eliminates redundant XML representations for similar concepts. Table 4 describes the redundant XML representation eliminated by the SoapLiteral binding. TABLE 4 Avoids multiple ways of representing fields: attributes vs. elements. Use element representation. Avoids global element name-type name distinction. For every type, it allows definition of a single global element name in its schema namespace that has the same name as the type. Avoids using element substitution groups while representing fields of structs or classes. Uses element substitution groups to represent the elements of composite types without fields, e.g. collections, arrays. Avoids Choice grouping construct. Subtyping can be utilized to achieve functionality provided by it with a slight loss of strong typing at schema validation time. Classes will only include the class methods in their portType. If the class implements interfaces, the portType associated with the interface will contain the interface methods.

[0043] The schema types defined inside the types section of the WSDL document conforms to the above rules when SoapLiteral encoding is specified for a portType. In addition, the SoapAction “http” header is defined to be the fully qualified portname, followed by the ‘#’ character, followed by the method name (e.g., porttype#methodname).

[0044] SoapLiteral binding defines a single element called “binding” that has one or more child elements called “transport” that specify the transports supported by the port. Further, all methods of the supplied porttype, should be equally accessible using SoapLiteral binding rules. For example, the binding fragment in Table 5 shows a stock quote binding accessible over “http” using SoapLiteral binding: TABLE 5 <binding name=“StockQuoteSoapBinding” type=“defs:StockQuotePortType”>  <soapliteral:binding xmlns:soapliteral= “http://schemas.xmlsoap.org/wsdl/typesystem/soapliteral/”> <transport>http://schemas.xmlsoap.org/soap/http</transport>  </soapliteral:binding> </binding>

[0045] Types

Simple Types

[0046] The “ts” base definition directly uses the primitive types contained in the XSD schema namespace.

Enum and Bit Fields

[0047] Enumeration type is a value type based on one of the integer primitive types. It consists of a set of named elements. Values of an enumeration type typically consist of a consecutive range of integers starting at zero. It is also possible to specify the integer value associated with a specific element name, in which case the values of successors to that element are successors of that integer value.

[0048] The XSD enumeration facet is used to represent enumeration type in terms of the element names as shown in Table 6. TABLE 6 <simpleType name=“user-defined enum type name” ts:enumType=“xsd:QName”> <restriction base=“xsd:string”> <enumeration value=“user-defined name” ts:enumValue=“user-defined value”? /> . . . </restriction> </simpleType>

[0049] As shown in Table 6, “ts:enumType” is an annotation on the type and gives the base integer type associated with the type; “ts:enumType” is defined as a global attribute in the “ts” schema namespace as,

[0050] <attribute name=“enumType” type=“xsd:QName” form=“qualified” default=“xsd:int”/>.

[0051] As specified by the above schema, unless explicitly qualified with “ts:enumType”, an enumeration's type will default to “xsd:int”. Of course this is implementation specific, and other defaults may apply in another implementation.

[0052] A “ts:enumValue” is another global attribute that allows the explicit setting of the integer value corresponding to the element name,

[0053] <attribute name=enumValue type=“int” form=“qualified”/>.

[0054] For example, given, enum Color={red=1, green, blue}, its representation would appear as shown in Table 7. TABLE 7 <simpleType name=“Color”> <restriction base=“xsd:string”> <enumeration value=“red” ts:enumValue=“1”/> <enumeration value=“green”/> <enumeration value=“blue”/> </restriction> </simpleType>

[0055] When an “ts:enum Value” is not explicitly specified, the value is implicitly one greater than the predecessor or 0 if it is the first enumeration.

[0056] A bit field is a mathematical powerset on the values of its base type. In other words, a bit field is a special type of enumeration, in which the enumValues are powers of two rather than succeeding integers. The base type itself is an enumeration of named elements, where each element has an associated value of an integer type. A value of a bit field type is an XSD “list” type, and contains a combination of one or more elements of the base enumeration type. A bit field is represented as shown in Table 8. TABLE 8 <simpleType name=“user-defined type name” ts:enumType=“qname”> <list> <simpleType> <restriction base=“string”> <enumeration value=“user-defined name”  ts:enumValue=“user-defined value”? /> . . . </restriction> </simpleType> </list> </simpleType>

[0057] For example, for a bit field specified as, [Flags] enum Color {red=1, green=2, blue=8}, its representation would appear as shown in Table 9. TABLE 9 <simpleType name=Color> <list> <simpleType> <restriction base=“xsd:string”> <enumeration value=“red” ts:enumValue=“1”/> <enumeration value=“green” ts:enumValue=“2”/> <enumeration value=“blue” ts:enumValue=“8”/> </restriction> </simpleType> </list> </simpleType>

[0058] Additionally, if an element “cc” of type “Color” had the value of “red|green” (both “red” and “green” bits are on simultaneously), the data appears as a space separated list of values (e.g., <cc>red green</cc>).

Structures and Data-Classes

[0059] Aggregate data types are of two types: struct or data-class. The “ts:struct” attribute differentiates between structures and data-classes. A struct is used when all field values are to be encoded in-line and it cannot be referenced from elsewhere in the XML document. A data-class is used when, due to the potential for circular references in the data, it can be referenced from other parts of the XML document. In other words, struct is a value type where as a data-class is a reference type. Further, data-classes support inheritance.

[0060] A structure is a composite value type that is a collection of named fields that are themselves of any simple or composite type. The fields of a structure can be accessed using their names. In this implementation, there can't be references to a struct as it is a value type and a structure can't extend another type. The XSD complexType is used to represent a “ts” structure as shown in Table 10, where “ts:struct” is a global attribute defined in the ts namespace defined as,

[0061] <attribute name=“struct” type=“xsd:boolean” fixed=“true” form=“qualified”/>. TABLE 10 <complexType name=“struct name” ts:struct=“true”> <sequence> <element name=“field name” type“field type”/> . . . </sequence> </complexType>

[0062] Since a struct is a value type that cannot be referenced, the schema fragment does not have the id attribute. Of course these are implementation details that may be varied.

[0063] For every struct definition, a corresponding global element is defined in the same namespace as the struct definition namespace. This global element has the same name as the struct name as shown in Table 11, where “anyValueElement” is defined as a global element in the “ts” namespace as <element name=“anyValueElement” type=“xsd:anyType” abstract=“true”/>. The substitution group is useful when the struct appears as the element type of an array. TABLE 11 <element name=“struct name” type=“tns:struct name” substitutionGroup=“ts:anyValueElement”/>

[0064] A data-class is a multi-reference composite type that is a collection of named fields that are themselves of any simple or composite type. The fields of a data-class can be accessed using their names. A data-class can specify type inheritance, in which case it inherits all the fields specified in the base data-class. Unlike a struct, a data-class is reference type. In Table 12, an attribute group in the “ts” namespace is defined to support referencing of data-class instances. TABLE 12 <attributeGroup name=“dataClassRefAttrs”> <attribute name=“id” type=“xsd:ID” use=“optional”/> <attribute name=“href” type=“string” use=“optional”/> </attributeGroup>

[0065] The id attribute allows a data-class instance to be identified so that it can be referred to by other entities. The href attribute allows a reference field to point to a data-class instance stored in the field.

[0066] Data-classes are of two types: single-reference and multi-reference. Single-reference data-class instances can be referenced by only one field within a context, resulting in tree semantics. This permits many optimizations, such as in-line representation and not detecting aliasing. Multi-reference data-class instances can be referenced by more than one field within a context, resulting in graph semantics. As such, multi-reference is the general case. For example, data-class instances involving circular references can only be represented using multi-reference semantics. Of course these limitations are merely implementation specific.

[0067] A multi-reference data-class which is not derived from another type (not a subtype) can be represented as shown in Table 13. TABLE 13 <complexType name=“dataclass name”> <sequence minOccurs=“0”> <element name=“field name” type=“field type”/> . . . </sequence> <attributeGroup ref=“ts:dataclassRefAttrs”/> </complexType>

[0068] For every data-class definition, a corresponding global element is defined in the same namespace as the data-class definition namespace. This global element has the same name as the data-class name:

[0069] <element name=“data-class name” type=“tns:data-class name” substitutionGroup=“ts:anyValueElement”/>.

[0070] The any ValueElement is as defined earlier in the “structure” section. The substitution group is useful when the data-class instance appears as an element inside an array. The minOccurs=“0” on the sequence element ensures that the above element can refer to a “dataClass name” instance by simply using the href attribute with empty content and still be schema-valid.

[0071] A multi-reference data-class which derives from another data-class (which must also be a multi-reference data-class) is represented as shown in Table 14. TABLE 14 <complexType name=“data-class name”> <complexContent> <extension base=“base data-class name”> <sequence minOccurs=“0”> <element name=“field name” type=“field type”/> . . . </sequence> </extension> </complexContent> </complexType> <element name=“data-class name” type=“tns:data-class name”  substitutionGroup=“ts:anyValueElement”/>

[0072] A single-reference data-class which is not derived from another type is represented as shown in Table 15. TABLE 15 <complexType name=“data-class name”> <sequence> <element name=“field name” type=“field type”/>* </sequence> </complexType> <element name=“data-class name” type=“tns:data-class name”  substitutionGroup=“ts:anyValueElement”/>

[0073] The difference between a single-reference data-class and a structure is that by definition a structure cannot be referenced, while a data-class can be referenced and the reference can be null. Also, notice the absence of minOccurs=“0” attribute on the sequence element and reference to the dataClassRefAttr attribute group.

[0074] When the single-reference data-class derives from a base type, it is represented as shown in Table 16. TABLE 16 <complexType name=“data-class name”> <complexContent>  <extension base=“base class name”> <sequence>  <element name=“field name” type=“field type”/>  ... </sequence>  </extension> </complexContent> </complexType> <element name=“data-class name” type=“tns:data-class name”  substitutionGroup=“ts:anyValueElement”/>

[0075] The single-reference/multi-reference aspect of a type must be the same for every data-class within a hierarchy.

Fields

[0076] A struct or a data-class field is completely defined by the field name and its type. Fields can be represented as elements of the XSD complex type representing the enclosing composite type.

[0077] If a field has a unique (single) reference to an instance of a type that cannot be null (e.g. struct), it is represented as, <element name=“field name” type=“fieldType”/>. This is the form used to define value-type fields.

[0078] If a field has a unique (single) reference to an instance of a type that can be null (e.g. data-class), it is represented as,

[0079] <element name=“field name” type=“fieldType” nillable=“true”/>.

[0080] If a field has a multi (shared) reference to an instance of a type (e.g. data-class), it is represented as,

[0081] <element name=“field name” type=“ts:reference” ts:reffype=“fieldType” nillable=“true”/>.

[0082] The “ts:reference” is defined as a complex XSD type in the “ts” namespace as shown in Table 17. TABLE 17 <complexType name=“reference” final=“#all”> <attribute name=“href” type=“xsd:string” use=“required”/> </complexType>

[0083] The “ts:refType” is a global attribute in the “ts” namespace defined as,

[0084] <attribute name=“refType” type=“xsd:string” form=“qualified”/>.

[0085] Thus, in the element declaration of a multi-reference field, the “type” of the field captures the reference aspect of the field and the “ts:refType” captures the real type of the field.

[0086] Since type inheritance affects the data corresponding to the field at runtime, it is necessary that the xsi:type attribute be specified with the instance data whenever the type of a field is a subtype.

[0087] In order to discuss an example using structs, data-classes, and their fields, the representation of the program segment shown in FIG. 11 is considered. Using the discussed type-centric extensions, the objects shown in FIG. 11 are represented as shown in FIG. 12.

[0088] Next, consider two employees XX and YY, where XX is a regular employee and YY is a manager. Their representation would be as shown in Table 18. TABLE 18 <Employee id=“XX-ID”> <name>XX</name> <empId>1</empId> </Employee> <Manager id=“YY-ID”> <name>YY</name> <empId>1</empId> <mgrId>1</mgrId> </Manager>

[0089] Notice that each has been given a unique “id” attribute as specified by the <attributeGroup ref=“ts:data-classRefAttrs”/> in their respective schemas. Also notice that YY is an extension of XX (a Manager is-a Employee).

[0090] Further, if XX is a speaker on Wednesday at 10.00 a.m., the presentation data is represented as shown in Table 19. TABLE 19 <Presentation> <speaker href=“#XX-ID”/> <startTime> <weekDay>2</weekDay> <hour>10</hour> <minute>2</minute> </startTime> </Presentation>

[0091] Since “speaker” is a multi-reference field, it references the “speaker” instance, whereas the “startTime” (struct) data appears inline.

[0092] If YY is the speaker, the “speaker” would appear with the instance type as shown in Table 20. TABLE 20 <Presentation> <speaker href=“#YY-ID”/> <startTime> <weekDay>2</weekDay> <hour>10</hour> <minute>2</minute> </startTime> </Presentation>

[0093] However, if “speaker” has been declared as a single reference field which is nullable, the schema fragment defining “Presentation” would be as shown in Table 21. TABLE 21 <complexType name=“Presentation”> <sequence minOccurs=“0”> <element name=“speaker” type=“tns:Employee” nillable=“true”/> <element name=“startTime” type=“tns:WeekTime”/> </sequence> <attributeGroup ref=“ts:dataClassRefAttrs”/> </complexType>

[0094] Note the change in the speaker field declaration element compared to its previous in FIG. 12. Speaker is now represented in-line since it is a single reference.

[0095] If XX is the speaker on Wednesday at 10.00 a.m., the “Presentation” data would appear as shown in Table 22. TABLE 22 <Presentation> <speaker> <name>XX</name> <empId>1</empId> </speaker> <startTime> <weekDay>2</weekDay> <hour>10</hour> <minute>2</minute> </startTime> </Presentation>

[0096] Since “Presentation” has only single references in both “speaker” and “startTime” fields, the data for both the fields appears inline.

[0097] If YY is the speaker, the “speaker” data would appear with the instance type as shown in Table 23. TABLE 23 <Presentation> <speaker xsi:type=“tns:Manager”> <name>YY</name> <empId>1</empId> <mgrId>1</mgrId> </speaker> <startTime> <weekDay>2</weekDay> <hour>10</hour> <minute>2</minute> </startTime> </Presentation>

[0098] Notice the use of the xsi:type attribute. This is the XSD-defined attribute that allows derived types to be used in place of base types (as in the above case).

Arrays

[0099] This document utilizes array representation from the soap-encoding schema namespace to represent arrays. However, the multiple choices for the element names provided by the soap-encoding is restricted to a single choice by utilizing the anyValueElement substitution group for representing array elements. The array elements are represented as instances belonging any ValueElement substitution group. In other words, element name of an array element will always be the type name as specified by the any ValueElement substitution group thereby indicating the type of the element.

[0100] Arrays are multi-reference types. Arrays have one or more dimensions (rank) whose members are distinguished by ordinal position. An array value is represented as a series of elements reflecting the element type, with elements appearing in ascending ordinal sequence. For multi-dimensional arrays, the dimension on the right side varies most rapidly.

[0101] An Array complex type is defined in the “ts” namespace as shown in Table 25. TABLE 25 <complexType name=“Array”>  <complexContent> <sequence> <element ref=“ts:anyValueElement” maxOccurs=“unbounded”/> </sequence> <attributeGroup ref=“ts:dataClassRefAttrs”/> <attributeGroup ref=“soap-enc:arrayAttrs”/>  </complexContent> </complexType> <element name=“Array” type=“ts:Array”  substitutionGroup=“ts:anyValueElement”/>

[0102] The substitution group is useful when an array appears as the element type of an array (for example, jagged arrays).

[0103] Arrays must contain the ts:arrayType attribute whose value specifies the static type of the array elements as well as the dimension(s) of the array. The ts:arrayType is defined as a global attribute in the ts namespace as follows:

[0104] <attribute name=“arrayType” type=“string” form=“qualified”/>.

[0105] The value of the ts:arrayType attribute, in this implementation, follows the BNF syntax below:

[0106] arrayTypeName :=arrayElementType arraySize

[0107] arrayElementType :=QName (rank)*

[0108] rank :=“[”(“,”)* “]”

[0109] arraySize :=“[” length (“,” length?)* “]”

[0110] length :=(DIGIT)+

[0111] For example, a jagged array of length 5 whose members are of type “single dimensional array of integers” would be represented as “int[][5]”. Likewise, a rectangular jagged array of dimensions 3×5 whose members are of type “two-dimensional rectangular array of integers” would be represented as “int[,][3,5]”. Note that the above array definition in the ts namespace is modeled after the array definition in the soap-encoding namespace and as such is simply following SOAP encoding rules. As such, it is possible to define array definition in the ts namespace as a restriction of the array definition in the soap-encoding namespace. Again, these are merely implementation details which may vary substantially.

Array Fields

[0112] A structure or a data-class field is defined by the field name and its type, which can be an array type. Fields can be represented as elements of XSD complex type representing enclosingType.

[0113] A single-reference field of an array type that cannot be null is represented as,

[0114] <element name=“array field name” type=“ts:Array”

[0115] ts:arrayType=“arrayTypeName”/>,

[0116] where ts:array, ts:arrayType and arrayTypeName are as defined in the array section above.

[0117] If the above field can be null, if it is represented as:

[0118] <element name=“array field name” type=“ts:Array”

[0119] ts:arrayType=“arrayTypeName” nillable=“true”/>.

[0120] A multi-reference field of an array type that cannot be null is represented as:

[0121] <element name=“array field name” type=“ts:reference”

[0122] ts:arrayType=“arrayTypeName”/>.

[0123] Note that the type has been changed from ts:Array to ts:reference in the above element declaration.

Array Example

[0124] Using these extensions, several examples of arrays are considered.

[0125] a) Given the earlier definition of the “WeekTime” class, and a class field which is of an array type “WeekTime[] today”, the class field is represented as shown in Table 26. TABLE 26 <element name=“today” type=“ts:Array” ts:arrayType=“tns:WeekTime[]” nillable=“true”/>

[0126] The actual array type information would appear as an attribute in the instance data as shown in Table 27. TABLE 27 <today soap-enc:arrayType=“tns:WeekTime[3]”> <tns:WeekTime> <weekday>3</weekday> <hour>10</hour> <minute>0</minute> </tns:WeekTime> <tns:WeekTime> <weekday>3</weekday> <hour>12</hour> <minute>30</minute> </tns:WeekTime> <tns:WeekTime> <weekday>3</weekday> <hour>15</hour> <minute>0</minute> </tns:WeekTime> </today>

[0127] b) Given the earlier definition of Employee and Manager, and a field which is an array of “Employees” (e.g., Employee[] devteam) that cannot be null, the field is represented as,

[0128] <element name=“devteam” type=“ts:Array” ts:arrayType=“Employee[]”/>.

[0129] The elements of the array can be “Employee” or any of its subtypes. Since “Employee” is a shared reference type, the instance data would appear as shown in Table 28. Note the use of element name to represent elements of the array. TABLE 28 <devteam soap-enc:arrayType=“Employee[2]”> <tns:Manager href=“#YY-ID” /> <tns:Employee href=“#XX-ID”/> </devteam>

[0130] If, instead, “Employee” and “Manager” were defined as single-reference types, the instance data would appear as shown in Table 29. TABLE 29 <devteam soap-enc:arrayType=“tns:Employee[2]”> <tns:Employee> <name>XX</name> <empId>1</empId> </tns:Employee> <tns:Manager> <name>YY</name> <empId>1</empId> <mgrId>1</mgrId> </tns:Manager> </devteam>

[0131] c) A field which is an array of arrays (jagged array), such as “Employee [][] subteams”, that cannot be null is represented as,

[0132] <element name=“subteams” type=“ts:Array”

[0133] ts:arrayType=“tns:Employee[][]”/>.

[0134] As shown in Table 30, the array type information appears as an attribute in the instance data, and the element names directly indicate data elements that are of a subtype. TABLE 30 <subteams soap-enc:arrayType=“Employee[][2]”> <ts:array href=“#subteams-1-ID”/> <ts:array href=“#subteams-2-ID”/> </subteams> <ts:array id=“subteams-1-ID” soap-enc:arrayType=“Employee[3]”> <tns:Manager href=“#YY-ID”/> <tns:Employee href=“#XX-ID”/> <tns:Employee href=“#ZZ-ID”/> </ts:array> <ts:array id=“subteams-2-ID” soap-enc:arrayType=“Employee[2]”> <tns:Manager href =“#RR-ID”/> <tns:Employee href=“#SS-ID”/> </ts:array>

Data-Class Constant Values

[0135] A constant value of a simple type can be represented using the XSD “fixed” constraint. For example, the class “AA” shown in Table 31, is represented as shown in Table 32. TABLE 31 class AA { const int c1 = 5.0; }

[0136] TABLE 32 <complexType name=“AA”> <sequence minOccurs=“0”> <element name=“c1” type=“int” fixed=“5” minOccurs=“0” maxOccurs=“0”/> </sequence> </complexType>

[0137] To represent constant values of complex types, a global attribute “constantValue” is defined in the “ts” namespace as follows:

[0138] <attribute name=“constantValue” type=“xsd:string” form=“qualified”/>.

[0139] Given the two classes shown in Table 33, the types section contains the definitions shown in Table 34. TABLE 33 class BB { int c1; int c2; } and class CC { const BB bb = new BB (5, 6); int c3; }

[0140] TABLE 34 <complexType name=“BB”> <sequence .../> <complexType> <element name=“BB” type=“tns:BB” substitutionGroup=“ts:anyValueElement”/> <complexType name=“CC”> <sequence minOccurs=“0”> <element name=“bb” type=“tns:BB” minOccurs=“0” maxOccurs=“0” ts:constantValue=“#Valuebb” /> <element name=“c3” type=“xsd:int”/> </sequence> </complexType> <element name=“CC” type=“tns:CC” substitutionGroup=“ts:anyValueElement”/>

[0141] To capture the instance value referenced by the constantValue attribute, this specification defines a “values” section in the “ts” namespace that is a sibling of the wsdl “types” section. For the above example, the “ts” values section would contain the value of “bb” as shown in Table 35. TABLE 35 <ts:values> <AA id=“Valuebb”>  <c1>5</c1>  <c2>6</c2> </AA> </ts:values>

[0142] The “ts:constant Value” can also represent simple (primitive) types directly using the distinction that they do not start with # character, thereby avoiding the indirection. The # character is escaped when representing string values.

[0143] PortType Extensions

[0144] In this implementation, operations, representing actions and property accessors, and events are combined into logical and formally classified groups using the WSDL portType construct as shown below. There are two kinds of WSDL portTypes: a service-interface portType and a service-class portType. A service-interface portType is an abstract aggregation of methods, properties and event sources. A service-class portType is a similar aggregated construct that represents concrete implementations of zero or more service-interface portTypes plus additional methods, properties and event sources. Some service classes define fields that are accessed using FieldGetter and FieldSetter methods. In such a case, the service class will have an entry in both the <Types> section and the <portType> section. If there are no fields, then the service class is only defined within the <portType> section. However, this may vary based on the implementation.

[0145] Note that a Property construct is really just a simplified means for specifying paired get and/or set methods (operations called accessors) for a given logically-exposed data element within the context of a service-class or service-interface. Properties are therefore considered behavioral and as such are defined within <portType> section WSDL document. Properties are typically used to model the state of a Service. This specification defines a simplified syntax for specifying properties within the <portType> section.

Service-Classes

[0146] As stated above, service-class portTypes are used to formally declare aggregated units of concrete behavior that can be accessed remotely. Further service-classes support extension of a service-class's behavior via inheritance. A service-class portType is identified by the presence of a “ts:serviceClass” element in its portType definition. The “ts:serviceClass” element has two distinct types of child elements. The first, “ts:extends” points to the service-class from which the current service-class inherits. As a service-class can extend at most only one other service-class, there can only be at most one “ts:extends” element within a “ts:serviceClass” element. Of course this would vary based on the implementation. The second, “ts:implements” points to the service-interface implemented by the current service-class. As a service-class can implement zero or more service-interfaces, there can be zero or more “ts:implements” elements within a “ts:serviceClass” element. The structure is shown in Table 36, and the xsd schema for the “ts:serviceClass” is shown in Table 37. TABLE 36 <portType name=“name”> <ts:serviceClass> <ts:extends>qname</extends>? <ts:implements>qname</implements>* </ts:serviceClass> <operation name = “portTypeOperation”> ... </operation> </portType>

[0147] TABLE 37 <complexType name=“serviceClass”> <sequence> <element name=“extends” type=“qname” minOccurs=“0” /> <element name=“implements” type=“qname” minOccurs=“0” maxOccurs=“unbounded” /> </sequence> </complexType> <element name=“serviceClass” type=“tns:serviceClass”/>

Service-Interfaces

[0148] In this implementation, service-interfaces are purely abstract functionality types that can't be exposed directly; a service-interface's functionality can only be exposed via the service-class implements construct. A service-interface is a portType which describes other inherited service-interfaces, operations (properties and actions), and events. Service-interfaces are used by the standards organizations to model reusable behavior that is not necessarily bound to a particular implementation or endpoint. A service-interface is identified by the presence of “ts:serviceInterface” element in its portType definition, as shown in Table 38. The “ts:serviceInterface” element has only one type of child element, “ts:extends”, that points to the service-interfaces extended by the current service-interface. As a service-interface can extend zero or more service-interfaces, there can be zero or more “ts:extends” elements within a “ts:serviceInterface” element. However, this may vary based on the implementation. TABLE 38 <portType name=“name”> <ts:interface> <extends>qname</extends>* </ts:interface> <operation name = “portTypeOperation”> ... </operation> </portType>

[0149] The xsd schema for the ts:interface type is shown in Table 39. TABLE 39 <complexType name=“serviceInterface”> <sequence> <element name=“extends” type=“qname” minOccurs=“0” maxOccurs=“unbounded” /> </sequence> </complexType> <element name=“interface” type=“tns:serviceInterface” />

Properties

[0150] A property defines a named value and the methods to access the value. The named value is of a particular type. The property may support get and/or set methods. A set of properties are defined using the “ts:properties” element within either a “ts:serviceClass” or “ts:serviceInterface” portType. A “ts:property” element has the child elements described in Table 40. TABLE 40 Child Ele- ment Description Name The property name is unique across all the methods and properties encapsulated within the enclosing portType. Type The property type is a qualified name referring to a type definition present in a schema namespace. Such a schema can be present in the type section of document. Get These elements defines the mode of operations (accessors) and allowed on the property. There are two accessors possible: a get Set and a set. These elements identify the operations that implement the corresponding accessors which are implicitly named with get_ or set_prefixes respectively on the associated property name when empty. The methods are required to be defined in the port type enclosing the property definition when explicitly specified.

[0151] The “ts:properties” is defined as shown in Table 41, with the xsd schema shown in Table 42. TABLE 41 <portType name=“name”> <ts:properties> ? <ts:property>* <name>nmtoken</name> <type>qname</type> <get>GetOperation?</get>? <set>SetOperation?</set>? </ts:property> </ts:properties> <operation name = “portTypeOperation”> ... </operation> </portType>

[0152] TABLE 42 <complexType name=“properties”> <sequence> <element ref=“property” minOccurs=“0” maxOccurs=“unbounded”/> </sequence> </complexType> <element name=“properties” type=“tns:properties”/> <complexType name=“property”> <sequence> <element name=“name” type=“xsd:NCName” /> <element name=“type” type=“xsd:QNname” /> <element name=“get” type=“xsd:NCName” minOccurs“0” /> <element name=“set” type=“xsd:NCName” minOccurs=“0” /> </sequence> </complexType> <element name=“property” type=“tns:property”/>

Event Source

[0153] An event source is a named and typed entity which supports subscriptions for interested parties. When the event occurs, a value of the type specified in the eventSource is returned to the subscriber in an event notification message.

[0154] A set of event-sources are defined using the “ts:eventSources” element within either a “ts:serviceClass” or “ts:serviceInterface” portType. A “ts:EventSource” has the elements described in Table 43. TABLE 43 Child Element Description Name The event source name is unique across all the methods, properties, and event sources encapsulated within the enclosing service or interface. Type The event type is a qualified name referring to a type definition present in a schema namespace. The types section can be used to define the event type.

[0155] The “ts:eventSource” is defined as shown in Table 44, with the xsd schema for the “ts:eventSource” type shown in Table 45. TABLE 44 <portType name=“name”> <ts:eventSources> ? <ts:eventSource>* <name>nmtoken</name> <type>qname</type> </ts:eventSource> </ts:eventSources> <operation name = “portTypeOperation”> ... </operation> </portType>

[0156] TABLE 45 <complexType name=“eventSources”> <sequence> <element ref=“eventSource” minOccurs=“0” maxOccurs=“unbounded”/> </sequence> </complexType> <element name=“eventSources” type=“tns:eventSources”/> <complexType name=“eventSource”> <sequence> <element name=“name” type=“xsd:NCName” /> <element name=“type” type=“xsd:QName” /> </sequence> </complexType> <element name=“eventSource” type=“tns:eventSource”/>

Service-Class and Service-Interface Constant Values

[0157] Symbols can be given constant values in service-class and service-interface portTypes using the standard XSD element construct as follows:

[0158] <xsd:element name=“symbol name” type=“QName” fixed=“string”

[0159] ts:constantValue=“string”/>.

[0160] A constant value of a simple type can be represented using the XSD fixed constraint. For example, the program segment shown in Table 46, can be represented as shown in Table 47. TABLE 46 ServiceInterface AA { const int c1 = 5.0; }

[0161] TABLE 47 <portType name=“AA”> <ts:serviceInterface/> <xsd:element name=“c1” type=“int” fixed=“5” minOccurs=“0” maxOccurs=“0”/> ... </portType>

[0162] XSD does not, however, define a mechanism for declaring constant values for complex data types. To support the definition of constant values of complex types, the “ts:contantValue” attribute defined in the data-classes constant value section is used. For example, a data-class containing two integers, as shown in Table 48, can be represented as shown in Table 49. TABLE 48 class BB { int c1; int c2; } ServiceInterface CC { const BB bb = BB (5, 6); }

[0163] TABLE 49 <portType name=“CC”> <ts:serviceInterface/> <xsd:element name=“bb” type=“tns:BB” ts:constantValue=“#Valuebb”/> ... </portType>

[0164] Further, the types section of the description would contain the definitions shown in Table 50, and the “ts:values” section of the description would contain the value of bb as shown in Table 51. TABLE 50 <xsd:complexType name=“BB”> <sequence minOccurs=“0”> <element name=“c1” type=“xsd:int”/> <element name=“c2” type=“xsd:int”/> </sequence> <attributeGroup ref=“ts:dataClassRefAttr” </xsd:complexType> <xsd:element name=“BB” type=“tns:BB” substitutionGroup=“ts:anyValueElement”/>

[0165] TABLE 51 <ts:values> <AA id=“Valuebb”> <c1>5</c1> <c2>6</c2> </AA> </ts:values>

[0166] Note that the id attribute of the AA element in the “ts:values” section has the same string value as the corresponding value of the “ts:constantvalue” attribute defined in the CC portType, above. Further, the “ts:constantValue” can also represent simple (primitive) types directly using the distinction that they do not start with the # character, thereby avoiding the indirection. The # character can be escaped when representing string values.

[0167] Accessing Child Services

[0168] Properties can be used to obtain the child services of a composite service. To do this, the “ts:constantValue” global attribute is used to directly obtain the location of the child service instead of accessing the property value at execution time. For example, consider the program defined in Table 52. TABLE 52 ServiceClass AVService { readonly Tuner tuner1; readonly Tuner tuner2; ... }

[0169] The child services (tuner 1 and 2) can be accessed directly using the constantValue attribute in the properties specified in the “AVService” definition as shown in Table 53. TABLE 53 <ts:property> <name>tuner1</name> <type ts:constantValue=“tuner1”>tns:Tuner</type> <get>getOperation</get> </ts:property> <ts:property> <name>tuner2</name> <type ts:constantValue=“tuner2”>tns:Tuner</type> <get>getOperation</get> </ts:property>

[0170] If for example, the “AVService” is located at “http://www.mydomain.com/AvService”, the first tuner can be accessed using “http://www.mydomain.com/AvService/tuner1”

[0171] It is also possible that a service represents its child services in an array. For example, given the array definition shown in Table 54, child service-class instances can be accessed using the “ts:constanctValue” attribute value specified in the property definition shown in Table 55. TABLE 54 class AVService { Tuner tuners[2]; ... }

[0172] TABLE 55 <ts:property> <name>tuners</name> <type ts:constantValue=“#ValueOfTuners”>ts:array</type> <get>getOperation</get> </ts:property>

[0173] The “#ValueOfTuners” points to the relative urls contained in the “values” section as shown in Table 56. TABLE 56 <ts:values> <ts:array id=“ValueOfTuners” soap-enc:arrayType=“string[2]”> <string>tuner1<string> <string>tuner2<string> </ts:array> </ts:values>

[0174] Thus, if the “AVService” is located at “http://www.mydomain.com/AvService”, the first tuner can be accessed using “http://www.mydomain.com/AvService/tuner1”.

[0175] Referencing a Service

[0176] To transfer a service reference across an application boundary requires information about the service such as its type and the endpoint URL. In other words, it is necessary to define a data-class that captures the relavant information on the service-class being transferred across an application boundary. Such a data-class represents the data sent over the wire and a wire-format for a service-class parameter. This document defines a multi-reference data-class called ServiceReference in the ts namespace for this purpose as shown in table 57. TABLE 57 class ServiceReference { URI primaryUrl; singleref optional URI[] alternateUrls; optional URI serviceID; singleref optional TypeInfo typeInfo; singleref optional AnyType[] extensions; } class TypeInfo { optional QName serviceClassName; optional singleref QName[] extends; optional singleref QName[] implements; } singleref class Extension { not-nillable URI extensionKey; singleref AnyType extensionValue; }

[0177] The schema for ServiceReference class is shown in Table 58. TABLE 58 <complexType name=“ServiceReference”> <sequence minOccurs=“0”> <element name=“primaryUrl” type=“xsd:anyURI”/> <element name=“alternateUrls” type=“ts:Array” ts:arrayType=“xsd:anyURI[]”  minOccurs=“0” maxOccurs=“1” nillable=“true”/> <element name-“serviceID” type=“xsd:anyUFI” minOccurs=“0” maxOccurs=“1” nillable=“true” /> <element name=“typeInfo” type=“ts:TypeInfo” minOccurs=“0” maxOccurs=“1”  nillable=“true” /> <element name=“extensions” type=“ts:array” ts:arrayType=“xsd:anyType[]”  minOccurs=“0” maxOccurs=“1” nillable=“true” /> </sequence> <attributeGroup ref=“ts:dataClassRefAttrs”/> </complexType> <element name=“ServiceReference” type=“ts:ServiceReference”  substitutionGroup=“ts:anyValueElement”/> <complexType name=“TypeInfo”> <sequence minOccurs=“0”> <element name=“serviceClassName” type=“xsd:QName” minOccurs=“0”  maxOccurs=“1” nillable=“true” /> <element name=“extends” type=“ts:Array” ts:arrayType=“xsd:QName[]”  minOccurs=“0” maxOccurs=“1” nillable=“true” /> <element name=“implements” type=“ts:Array” ts:arrayType=“xsd:QName[]”  minOccurs=“0” maxOccurs=“1” nillable=“true” /> </sequence> <attributeGroup ref=“ts:dataClassRefAttrs”/> </complexType> <element name=“TypeInfo” type=“ts:TypeInfo”  substitutionGroup=“ts:anyValueElement”/> <complexType name=“KeyValueExtension”> <sequence> <element name=“extensionKey” type=“xsd:anyURI”/> <element name=“extensionValue” type=“xsd:anyType” nillable=“true” /> </sequence> </complexType> <element name=“KeyValueExtension” type=“tns:KeyValueExtension”  substitutionGroup=“ts:anyValueElement”/>

[0178] The “primaryUrl” field should contain the primary endpoint at which the service-class instance can be reached. A service-class instance may be available at multiple urls, especially in the case of multi-homed machines. The alternateUrls optional field allows these secondary endpoints to be published. A service reference may contain a list of types captured by the “typeInfo” field whose methods can be invoked by the clients on the remote service-class instance. However, the “typeInfo” field is optional. Of course these limitations may vary based on the implementation.

[0179] In this implementation, all service-classes are implicitly assumed to implement the “ts:IService” interface even when not specified explicitly. However, this may be varied based on the implementation. The “ts:IService” defines the following methods as shown in Table 59. TABLE 59 ServiceInterface IService { bool IsInstanceOf(qname type); TypeInfo GetTypeInfo(); URI GetServiceDescription(); string get_ServiceID(); }

[0180] The IService interface supports dynamic type queries. For example, if a reference to a service-class instance location was passed as a data element to a control point, that control point could invoke the IsInstanceOf action on that service-class instance to query whether that instance implemented a particular portType, or could invoke the GetServiceDescription action to download the entire description of the service-class instance. GetTypeInfo action can be used to explicitly retrieve the TypeInfo information which can optionally be included within the ServiceReference.

[0181] In this implementation, a remotable service-class instance should support dynamic query of its type by its clients, but this may be varied. This is accomplished by implementing the architecturally defined service-interface “IService” and more specifically the “IsInstanceOf” method inside it.

[0182] If “serviceID” is present and non-null, it is a universally-unique URI meaning it provides an identity for the remote service. If “serviceID” is null or omitted, then the service does not have a serviceID. The “get_serviceID” method of IService return its serviceID.

[0183] If present, the “typeInfo” field is considered to be complete and consistent with respect to all possible invocations of the “IsInstanceOf” method. In other words, clients can always refer to the “typeInfo” field instead of invoking the “IsInstanceOf” method on the remote service-class instance. The serviceClassName element is optional as some service-class instances may choose to expose only their service-interface contracts.

[0184] Some service-class instances may want to include additional information in the service reference. To enable this scenario, service reference has an optional extensions field, which is an array of “xsd:anyType” values. Further this specification defines a standard key-value extension. The key-value extension should be ignored if the key is not understood. Future specifications could potentially define standard extensions for features such as lifetime and security. Consider a service that wants to provide a description URL and the form of encryption used. The extensions node would appear as shown in Table 60. TABLE 60 <ts:extensions>  <ts:KeyValueExtension> <extensionKey>http://schemas.xmlsoap.org/soap/stdexts/descUrl</extensionKey> <extensionValue>https://tempuri.org/foo.soap</extensionValue>  </ts:KeyValueExtension>  <ts:eKeyValuExtension> <extensionKey>http://schemas.xmlsoap.org/soap/stdexts/encryptAlg</extensionKey> <extensionValue> 3DES</extensionValue>  </ts:KeyValueExtension> </ts:extensions>

[0185] For example, given the service-class shown in Table 61, its service reference will be represented as shown in Table 62. TABLE 61 serviceclass VendorReceiver : UPnPReceiver, IUPnPPowerControl { ... };

[0186] TABLE 62 <ts:ServiceReference xmlns:vendor=“http://www.vendor.com/devices” xmlns:upnp=“...”>  <primaryUrl>http://www.foobar.com/receiver</primaryUrl>  <alternateUrls soap-enc:arrayType=“xsd:anyURI[1]”> <xsd:anyURI>http://192.121.200.200/receiver</xsd:anyURI>*  </alternateUrls>  <typeInfo> <name>vendor:VendorReceiver</name> <extends soap-enc:arrayType=“xsd:QName[1]”> <xsd:QName>upnp:UPnPReceiver</xsd:QName>* </extends> <implements soap-enc:arrayType=“xsd:QName[1]”> <xsd:QName>upnp:IUPnPPowerControl</xsd:QName>* </implements>  </typeInfo>  <extensions soap-enc:arrayType=“ts:anyType[1]”> <ts:KeyValueExtension> <extensionKey>http://www.upnp.org/security/encryption </extensionKey> <extensionValue xsi:type=“upnp:encrypt”> <supported>true</supported> <supportedCipher>RC5</supportedCipher> </extensionValue> </ts:KeyValueExtension>  </extensions> </ts:ServiceReference>

[0187] Service-Class/Service-Interface Fields

[0188] A field typed as a service-class or a service-interface type can transmit a service-class reference across a communications boundary. In this implementation, a single-reference field of a service-class or service-interface type that cannot be null is represented as shown in Table 63. TABLE 63 <element name=“field name” type=“ts:ServiceReference” ts:reftype=“service class or interface type”/>

[0189] Here “ts:refType” annotation defined earlier specifies the static type of the field. The reference being transferred should be an instance of the static type of the field.

[0190] A single-reference field of a service-class or service-interface type that can be null is represented in this implementation as shown in Table 64. TABLE 64 <element name=“field name” type=“ts:ServiceReference” ts:reftype=“service class or interface type” nillable=“true”/>

[0191] In this implementation, a multi-reference field of a service-class or service-interface type that can be null is represented as shown in Table 65. TABLE 65 <element name=“field name” type=“ts:reference” ts:reftype=“service class or interface type” nillable=“true”/>

[0192] Note that the type has been changed from “ts:ServiceReference” to “ts:reference” in the above element declaration.

[0193] For example, the tuner field transmits a remote reference to service-class implementing ITuner service-interface in the data-class “RecieverDescription” shown in Table 66. TABLE 66 class ReceiverDescription { singleref ITuner tuner; };

[0194] As such, it would be represented as shown in Table 67. TABLE 67 <complexType name=“ReceiverDescription”> <sequence minOccurs=“0”>  <element name=“tuner” type=“ts:ServiceReference”  reftype=“tns:ITuner” nillable=“true”> </sequence> <attributeGroup ref=“ts:dataClassRefAttrs”/> </complexType>

[0195]FIGS. 14 and 15 contain the WSDL grammar with type extensions in bold. FIGS. 16, 17, and 18 contain the Schema for the type extensions.

[0196]FIG. 19 is an example program written in C# which includes interfaces and properties, however, the program could be written in other programming languages. FIGS. 20-21 is the WSDL with type extensions for the program in FIG. 19.

[0197]FIG. 22 and the following discussion are intended to provide a brief, general description of a suitable computing environment for an implementation. While the invention will be described in the general context of computer-executable instructions of a computer program that runs on a computer and/or network device, those skilled in the art will recognize that the invention also may be implemented in combination with other program modules. Generally, program modules include routines, programs, components, data structures, etc. that perform particular tasks or implement particular abstract data types. Moreover, those skilled in the arts will appreciate that the invention may be practiced with other computer system configurations, including multiprocessor systems, microprocessor-based electronics, minicomputers, mainframe computers, network appliances, wireless devices, and the like. The extensions can be practiced in networked computing environments, or on stand-alone computers.

[0198] With reference to FIG. 22, an exemplary system for implementation includes a conventional computer 820 (such as personal computers, laptops, servers, mainframes, and other variety computers) includes a processing unit 821, a system memory 822, and a system bus 823 that couples various system components including the system memory to the processing unit 821. The processing unit may be any of various commercially available processors, including Intel x86, Pentium and compatible microprocessors from Intel and others, including Cyrix, AMD and Nexgen; Alpha from Digital; MIPS from MIPS Technology, NEC, IDT, Siemens, and others; and the PowerPC from IBM and Motorola. Dual microprocessors and other multi-processor architectures also can be used as the processing unit 821.

[0199] The system bus may be any of several types of bus structure including a memory bus or memory controller, a peripheral bus, and a local bus using any of a variety of conventional bus architectures such as PCI, VESA, AGP, Microchannel, ISA and EISA, to name a few. The system memory includes read only memory (ROM) 824 and random access memory (RAM) 825. A basic input/output system (BIOS), containing the basic routines that help to transfer information between elements within the computer 820, such as during start-up, is stored in ROM 824.

[0200] The computer 820 further includes a hard disk drive 827, a magnetic disk drive 828, e.g., to read from or write to a removable disk 829, and an optical disk drive 830, e.g., for reading a CD-ROM disk 831 or to read from or write to other optical media. The hard disk drive 827, magnetic disk drive 828, and optical disk drive 830 are connected to the system bus 823 by a hard disk drive interface 832, a magnetic disk drive interface 833, and an optical drive interface 834, respectively. The drives and their associated computer-readable media provide nonvolatile storage of data, data structures, computer-executable instructions, etc. for the computer 820. Although the description of computer-readable media above refers to a hard disk, a removable magnetic disk and a CD, it should be appreciated by those skilled in the art that other types of media which are readable by a computer, such as magnetic cassettes, flash memory cards, digital video disks, Bernoulli cartridges, and the like, may also be used in the exemplary operating environment.

[0201] A number of program modules may be stored in the drives and RAM 825, including an operating system 835, one or more application programs 836, other program modules 837, and program data 838; in addition to an implementation 856.

[0202] A user may enter commands and information into the computer 820 through a keyboard 840 and pointing device, such as a mouse 842. These and other input devices are often connected to the processing unit 821 through a serial port interface 846 that is coupled to the system bus, but may be connected by other interfaces, such as a parallel port, game port or a universal serial bus (USB). A monitor 847 or other type of display device is also connected to the system bus 823 via an interface, such as a video adapter 848. In addition to the monitor, computers typically include other peripheral output devices (not shown), such as speakers and printers.

[0203] The computer 820 operates in a networked environment using logical connections to one or more remote computers, such as a remote computer 849. The remote computer 849 may be a server, a router, a peer device or other common network node, and typically includes many or all of the elements described relative to the computer 820, although only a memory storage device 850 has been illustrated. The logical connections depicted include a local area network (LAN) 851 and a wide area network (WAN) 852. Such networking environments are commonplace in offices, enterprise-wide computer networks, intranets and the Internet.

[0204] When used in a LAN networking environment, the computer 820 is connected to the local network 851 through a network interface or adapter 853. When used in a WAN networking environment, the computer 820 typically includes a modem 854 or other means for establishing communications (e.g., via the LAN 851 and a gateway or proxy server 855) over the wide area network 852, such as the Internet. The modem 854, which may be internal or external, is connected to the system bus 823 via the serial port interface 846. In a networked environment, program modules depicted relative to the computer 820, or portions thereof, may be stored in the remote memory storage device. It will be appreciated that the network connections shown are exemplary and other means of establishing a communications link between the computers may be used.

[0205] Having described and illustrated the principles of our invention with reference to examples, it will be recognized that the examples can be modified in arrangement and detail without departing from such principles. It should be understood that the programs, processes, or methods described herein are not related or limited to any particular type of computer apparatus, unless indicated otherwise. Various types of general purpose or specialized computer apparatus may be used with or perform operations in accordance with the teachings described herein. Elements of the examples shown in software may be implemented in hardware and vice versa.

[0206] In view of the many possible implementations to which the principles of our invention may be applied, it should be recognized that any specific details are illustrative only and should not be taken as limiting the scope of our invention. Rather, we claim as our invention all that which comes within the scope and spirit of the following claims and equivalents thereto. 

We claim:
 1. A method for providing web services over a network according to a request made in an extensible mark-up language expression, where the extensible mark-up language expression is formed according to an object-model agnostic web services description language with type-centric extensions, the method comprising: receiving an extensible mark-up language expression; identifying in the expression, a service reference including a binding to an implementation on a typed service class; invoking the implementation; and sending an extensible mark-up language expression indicating the results of the invoked implementation.
 2. The method of claim 1, wherein the implementation is a request for other typed service classes supported by the service reference.
 3. The method of claim 1, wherein the implementation is a request for an implementation on a typed service class described in the web services description language definition and an associated schema.
 4. The method of claim 1, further comprising: identifying a mechanism for determining a type and an identity of a remote service at runtime through invoking methods on a service interface.
 5. A method for providing web services over a network according to a request made in an extensible mark-up language expression, where the extensible mark-up language expression is formed according to an object-model agnostic web services description language with type-centric extensions, the method comprising: receiving an extensible mark-up language expression; identifying in the expression, a graph of elements typed in a schema with unique class names including, a first element with an attribute assigned a unique identifier; and any number of elements including a field with a typed reference referring to the first element by its unique identifier.
 6. The method of claim 5, further comprising: creating objects according to the graph, such that a first object is created according to the typed class of the first element and the first object is assigned a unique identifier; and for each of the any number of elements, an object is created including a typed reference to the first object by its unique identifier.
 7. The method of claim 5, further comprising: identifying in the expression, an element of a type further defined in the schema as an enumeration type, where the enumeration type consists of a set of named elements, each named element associated with a consecutive integer value.
 8. The method of claim 5, further comprising: identifying in the expression, an element of a type further defined in the schema as a bit field type, where the bit field type is defined as a subset of the powerset of members of a base set, where each member of the base set is a named element associated with an assigned integer value.
 9. The method of claim 5, further comprising: identifying in the expression, an element of a type further defined in the schema as a complex type and the complex type is a collection of named fields of complex types or simple types, and the name of the type is unique in the schema, and an attribute of the element includes an identification number that another element defined in the expression uses to refer to the element.
 10. The method of claim 5, further comprising: identifying in the expression, an element of a type further defined in the schema as a reference to a defined complex type, and an attribute of the element includes an identification uniquely associated with another element defined in the expression.
 11. A method for providing network services according to a request made in an extensible markup language expression, the method comprising: identifying in the expression, an element of a type further defined in a schema as a port type, and the schema further defines a child type of the port type including a class type defined to be accessed remotely.
 12. The method of claim 11 wherein the schema further defines a child type of the port type including an interface type defined to be accessed remotely.
 13. The method of claim 11 wherein the schema further defines a child type of the port type including a property type defined to be accessed remotely.
 14. The method of claim 11 wherein the schema further defines a child type of the port type including an event type defined to be received from remote source.
 15. The method of claim 11 wherein the schema further defines a child type of the port type including a values type defined to be an individual service.
 16. The method of claim 11, further comprising: identifying in the expression, a first element of a type further defined in the schema as a service reference type, including a remote network location where requests are received for the service reference, and a type of service supported by the service reference.
 17. A computer readable medium having stored thereon, instructions for verifying that an extensible mark-up language expression is received according to a schema and an extensible mark-up language web services definition comprising: an instruction for verifying an element of a type defined as a service reference type including a child element identifying, a remote network location where requests are received for the service reference, and a type of service supported at the remote network location.
 18. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as an enumeration type, where the enumeration type consists of a set of named elements, each named element associated with a consecutive integer value.
 19. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a bit field type, where the bit field type is a mathematical powerset on the values of a base type, and the base type includes a collection of named elements, each named element assigned an associated integer value, and the other element includes a combination of one or more of the elements of the base type.
 20. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a complex type and the complex type is a collection of named fields of complex types or simple types, and the name of the type is unique in the schema, and an attribute of the other element includes an identification number that an additional element defined in the extensible mark-up language expression uses to refer to the other element.
 21. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a structure, where a structure type is a collection of named fields that are complex types or simple types, and the name of the structure in the schema is uniquely defined.
 22. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a reference to a defined complex type, and an attribute of the other element includes an identification uniquely associated with an additional element defined in the extensible mark-up language expression.
 23. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as an array type which is uniquely typed in the schema, and a field of the other element defines contents consistent with the unique array type defined in the schema.
 24. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a constant value of a complex type, where the constant value is uniquely defined in the schema.
 25. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a port type, and the schema further defines one or more types as child types of the port type as follows, a class type defined to be accessed remotely; an interface type defined to be accessed remotely; a property type defined to be accessed remotely; or an event type defined to be received from a remote source.
 26. The computer readable medium of claim 17, further comprising: an instruction for verifying another element of a type defined as a property type including a child type including a constant value attribute which refers directly to a remote service.
 27. In a computer readable medium, a defined grammar for a web service definitions language, including a root definitions element, and computer executable instructions for validating that a web service request is formatted according to the grammar, the instructions comprising: instructions for validating the format of the following child element of the root definitions element, a port type element with an extended child element including a service class element.
 28. The computer readable medium of claim 27, wherein the port type element further includes an extended child element including an service interface element.
 29. The computer readable medium of claim 27, wherein the port type element further includes an extended child element including a properties element.
 30. The computer readable medium of claim 27, wherein the definitions element further includes an extended child element including a values element.
 31. The computer readable medium of claim 27, further comprising: instructions for validating that a class element occurrence, an interface element occurrence, a properties element occurrence, an event source element occurrence, or an extended source element occurrence is within a defined maximum or minimum number of occurrences.
 32. A computer system for serving web service requests, the system comprising: a network accessible web service definition; and a program for, parsing extensible mark-up language expressions contained in a network service request in order to determine whether an extensible mark-up language expression is formed in accordance with the web service definition, and for determining based on an encountered element's type definition at least one of the following: whether a service extends another service, or whether a service implements an interface.
 33. The system of claim 32 wherein the program further determines based on an encountered element's type definition, whether a field is a reference, a constant value, or a bit field.
 34. The system of claim 32 wherein the program further determines based on an encountered element's type definition, whether a type is embedded or a reference.
 35. The system of claim 32 wherein the program further determines based on an encountered element's type definition, whether a type is remoted by value or by reference.
 36. A computer readable storage medium containing data with a structure formed according to a object model agnostic web services definition language, said structure causing a computer to perform web services according to a service request received on a network connection, the structure comprising: a service reference including a binding to an implementation on a typed service class; wherein the computer determines the requested service from the structure, and invokes an implementation of the service class.
 37. A computer readable storage medium containing data with a structure formed according to a object model agnostic web services definition language, said structure causing a computer to perform web services according to a service request received on a network connection, the structure comprising: an element with an attribute assigned a unique identifier, and any number of additional elements including a field with a typed reference referring to the element by its unique identifier; wherein the computer creates in memory, based on the structure, a graph of objects representing the element and the any number of additional elements referring to the element by its unique identifier. 